1. Banach space theory
پدیدآورنده :
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع :
رده :
QA
,
322
.
2
,.
R47
,
2010
{
1648
},
d5395094d2d5d54de5e9d0cbe
2. Banach space theory :the basis for linear and nonlinear analysis
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Bnach space.
رده :
QA
322
.
2
.
B34
2011
3. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
.
G6
1996a
4. Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
پدیدآورنده : edited by Samuel R. Buss, Petr Hajek, Pavel Pudlak
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
13
5. Logic Colloquium '98: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1
.
L64
1998
6. Mechanizing hypothesis formation
پدیدآورنده : / [by] P. Hajek, T. Havranek
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع :
رده :
QA76
.
9
،.
A955
,
H34
1978
7. Metamathematics of fuzzy logic
پدیدآورنده : Hajek, Petr
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Fuzzy set,، Fuzzy logic
رده :
QA
248
.
H3
M3
8. The theory of semisets
پدیدآورنده : Vopenka, Petr.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Set theory
رده :
QA
248
.
V68
9. The theory of semisets
پدیدآورنده : Vopenka, Petr
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory
رده :
QA
248
.
V68
1972b
10. The theory of semisets
پدیدآورنده : Vopeenka, Petr., ]By[ Petr Vopeenka and Petr Hajek
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Set theory
رده :
QA
248
.
V68
11. The theory of semisets
پدیدآورنده : Vopenka, Petr.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Set theory
رده :
QA
248
.
V68
1972b
